closed extension in group

群内的闭扩张